writable_pl1e in shadow mode is a machine address, so

is type physaddr_t, not unsigned long.

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/include/asm-x86/shadow.h b/xen/include/asm-x86/shadow.h
index eb0dd78a8a924d501318fe85b238c0619b08b6e1..fa1488cc0686880e4b30216dfc00133c7361e6df 100644 (file)
--- a/xen/include/asm-x86/shadow.h
+++ b/xen/include/asm-x86/shadow.h
@@ -317,7 +317,7 @@ struct out_of_sync_entry {
     unsigned long gpfn;    /* why is this here? */
     unsigned long gmfn;
     unsigned long snapshot_mfn;
-    unsigned long writable_pl1e; /* NB: this is a machine address */
+    physaddr_t writable_pl1e; /* NB: this is a machine address */
     unsigned long va;
 };